Visual Speciication of Interprocess and Intraprocess Communication Visual Speciication of Interprocess and Intraprocess Communication

نویسنده

  • Kenneth J. Goldman
چکیده

We present a visual speciication language for constructing distributed applications and their direct manipulation graphical user interfaces. Each distributed application consists of a collection of independent modules and a connguration of logical connections that deene communication among the data interfaces of the modules. Our speciication language uses a single visual mechanism that allows end-users to deene interprocess communication among distributed modules and to deene intraprocess communication among objects within a module. This seamless speciication provides a general encapsulation/abstraction mechanism and is designed to support dynamic change to the communication structure. User interfaces are completely decoupled from the module(s) they control.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Visual Speciication of Interprocess and Intraprocess Communication

We present a visual speciication language for constructing distributed applications and their direct manipulation graphical user interfaces. Each distributed application consists of a collection of independent modules and a connguration of logical connections that deene communication among the data interfaces of the modules. Our speciication language uses a single visual mechanism that allows e...

متن کامل

Visual Specification of Interprocess and Intraprocess Communication

We present a visual specification language for constructing distributed applications and their direct manipulation graphical user interfaces. Each distributed application consists of a collection of independent modules and a configuration of logical connections that define communication among the data interfaces of the modules. Our specification language uses a single visual mechanism that allo...

متن کامل

Linda-based applicative and imperative process algebras

The classical algebraic approach to the speciication and veriication of concurrent systems is tuned to distributed programs taht rely on asynchronous communications and have explicit data exchange. An applicative process algebra, obtained by embedding the Linda primitives for interprocess communication in a CCS/CSP{like language, and an imperative one, obtained from the applicative variant by a...

متن کامل

Chapter 18 Run-time Monitoring of Real-time Systems 18.1 Introduction

This chapter presents a framework for formal speciication and monitoring of run-time constraints in real-time systems. As embedded real-time systems become more sophisticated, the ability of a system to provide dependable and timely service becomes critical. The unpredictability of the physical environment and the inability to satisfy design assumptions due to the inherent complexity of embedde...

متن کامل

Interprocess Communication in Java

This paper describes a library of classes providing support for interprocess communication in Java programs, using the mechanisms present in the native operating system. This approach is particularly well-suited for use with independent Java processes running on a single multicore (or multiprocessor) computer. At this stage, a comprehensive class library has been implemented for the Linux opera...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994